No TPTP formula. May not be expressible in strict first order.	Media.kif 3165-3169	如果 符号串 是 在 语言 的 short title 实体-TYPE 和 另一个 实体 是 那个 实体-TYPE 的 instance， 然后 那个 另外 实体 是 那个 符号串 的简称
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 881-885	如果 用户帐号 是在 WebSite 的 account 和 施事体 有 account 那个 用户帐号 ， 然后 那个 施事体 是 那个 WebSite 的 registered user
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	如果 有认知的主事 持有 account 金融账户 和 那个 金融账户 是被 金融机构 held ， 然后 那个 金融机构 是 那个 有认知的主事 的 customer
No TPTP formula. May not be expressible in strict first order.	Media.kif 3041-3045	如果 符号串 是对于 实体 的 acronym 和 字符 是 那个 符号串 的 part ， 然后 那个 字符 是 字母字符 的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20760-20767	如果 actedIn 人类 and 内容承载物理 和 过程 是 戏剧表演 的 instance 和 那个 人类 是 那个 过程 的 patient 和 那个 内容承载物理 是 那个 过程 的 result， 然后 Actor 是 那个 人类 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18837-18843	如果 施事体 是 过程 的 agent 和 实体 是 那个 过程 的 result 和 那个 实体 是 艺术品 的 instance， 然后 Artist 是 那个 施事体 的 attribute 在 那个 过程 出现 的 time holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 487-499	如果 施事体 是 过程 的 agent 和 客体 是 那个 过程 的源头 和 物理 是 那个 过程 的 patient 和 那个 物理 的价值 是 货币测量， 然后 有存在 金融交易 这样 那个 金融交易%n是那个 过程的subProcess 和 那个 金融交易 是 付款 的 instance 和 那个 货币测量 是 那个 金融交易 的 transaction 总额 和 那个 施事体 是 那个 金融交易 的源头 和 那个 金融交易 在 那个 客体 结束
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	如果 有认知的主事 有义务去做在 协议 的 命题 道义属性 和 那个 道义属性 equal 义务 或 那个 道义属性 equal 诺言， 然后 有存在 实体 这样 那个 实体 表示 那个 命题 的内容 和 那个 有认知的主事 是 那个 实体 的 agent 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Government.kif 714-719	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 要求 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有义务执行 那个 公式 的任务 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Government.kif 721-726	如果 时点 是 协议 的 agreement 生效日期 和 那个 协议 允许 有认知的主事 执行 公式 的任务 和 时间位置 是 那个 时点 的 instance， 然后 那个 有认知的主事 有权利去做 那个 公式 在 紧接 那个 时间位置 after holdsDuring
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 722-726	如果 时点 是 金融账户 的 agreement 生效日期 和 那个 金融账户 对于 %3 的 current 帐户存款， 然后 货币测量 是 那个 金融账户 的 original 金额
No TPTP formula. May not be expressible in strict first order.	Government.kif 766-772	如果 有点 时间位置 是 命题 的 agreement 生效其间 和 另一个 时间位置 是 有点 时间位置 的 instance 和 公式 是 公式 的 instance 和 那个 公式 contains 那个 命题 的资料， 然后 那个 公式 在 那个 另外 时间位置 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14016-14021	如果 时距 是 协议 的 agreement 週期 和 时点 是 那个 协议 的 agreement 生效日期， 然后 那个 协议 有 ActiveAgreement 的 attribute 在 time 开始在 那个 时点 并且 持续到 那个 时距 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Music.kif 316-322	如果 Image 是在 Album 的 image 和 客体 是 那个 Album 在 有点 DataStorageDevice 的 set 复制 的 instance 和 自身连接物体 contains 那个 客体， 然后 那个 Image 是 那个 自身连接物体 的前面 的 part 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6231-6244	如果 allergic 人类 and 有点 物质 和 有点 物质UB 是 那个 有点 物质 的 instance 和 那个 有点 物质UB 接上 那个 人类 在 时间位置 holdsDuring， 然后 有存在 另一个 实体 这样 那个 另外 实体 是 AllergicReaction 的 instance 和 那个 人类 经历了 那个 另外 实体 和 那个 另外 实体 出现 的 time 时段 和 那个 时间位置 重叠 和 那个 时间位置 的开始%n在那个 另外 实体 出现 的 time 的开始before发生 的声明 has 容易 的语气
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7596-7611	如果 amount 有点 物质, 躯体性物体 and 实数 UnitOfMass 和 有点 物质I 是 那个 有点 物质 的 instance 和 那个 有点 物质I 的 measure 是 那个 实数2 那个 UnitOfMass 和 那个 有点 物质I 是 那个 躯体性物体 的 part， 然后 有存在 串列 这样 那个 实数2 那个 UnitOfMass 是 那个 串列 的 member 和 那个 串列 equal AmountsFn 那个 有点 物质, 那个 躯体性物体 and 那个 UnitOfMass 和 那个 实数 equal ListSumFn 那个 串列
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	如果 金融账户 对于 时间位置 到期的 amount 货币测量 和 有认知的主事 持有 account 那个 金融账户 ， 然后 那个 有认知的主事 有义务执行 符号串 所描述的类别 的任务
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10685-10696	如果 antagonistMuscles 有点 肌肉 and 另一个 有点 肌肉 和 过程 是 Extension 的 instance 和 有点 肌肉C 是导致 那个 过程 的 instrument 和 移动 运动 and 另一个 有点 肌肉C 和 那个 有点 肌肉C 是 那个 有点 肌肉 的 instance 和 那个 另外 有点 肌肉C 是 那个 另外 有点 肌肉 的 instance 和 那个 有点 肌肉C 是 第三 客体 的 part 和 那个 另外 有点 肌肉C 是 那个 第三 客体 的 part 和 那个 第三 客体 是 哺乳动物 的 instance， 然后 那个 另外 有点 肌肉C 能够担当 工具 的角色做 Flexion
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10672-10683	如果 antagonistMuscles 有点 肌肉 and 另一个 有点 肌肉 和 运动 是 Flexion 的 instance 和 有点 肌肉C 是导致 那个 运动 的 instrument 和 移动 那个 运动 and 另一个 有点 肌肉C 和 那个 有点 肌肉C 是 那个 有点 肌肉 的 instance 和 那个 另外 有点 肌肉C 是 那个 另外 有点 肌肉 的 instance 和 那个 有点 肌肉C 是 第三 客体 的 part 和 那个 另外 有点 肌肉C 是 那个 第三 客体 的 part 和 那个 第三 客体 是 哺乳动物 的 instance， 然后 那个 另外 有点 肌肉C 能够担当 工具 的角色做 Extension
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31387-31394	如果 applicableRelation 客体 and 关系 和 那个 客体 是 那个 客体C 的 instance 和 那个 关系 的 1 数量 是 另一个 类 的 instance， 然后 那个 客体C equal 那个 另外 类 或 那个 客体C 是 那个 另外 类 的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17948-17959	如果 1 的 approximate diameter 是 %2 和 客体 的 radius 是 实数 和 2.0 那个 实数M 和 那个 客体 的 measure 是 另一个 实数 另一个 测量单位 和 自身连接物体 的 measure 是 第三 实数 那个 另外 测量单位 和 那个 实数M 是 UnitOfLength 的 instance 和 那个 另外 测量单位 是 UnitOfVolume 的 instance， 然后 那个 另外 实数 equal 那个 第三 实数
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2080-2090	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 另外 实数 是 面积测量 的 instance 和 第三 实数 equal 那个 实数 和 那个 另外 实数， 然后 那个 第三 实数 那个 测量单位 是 那个 地理区域 的 arable 土地
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2092-2106	如果 实数 测量单位 是 地理区域 的 arable 土地 和 那个 实数 是 greaterThanOrEqualTo 0.0 和 另一个 实数 那个 测量单位 是 那个 地理区域 的 total 區域 和 那个 测量单位 是 UnitOfArea 的 instance， 然后 有存在 另一个 地理区域 这样 那个 另外 地理区域 是 耕地 的 instance 和 那个 另外 地理区域 是 那个 地理区域 的 geographic 次要地区 和 那个 另外 地理区域 的 measure 是 那个 实数 和 那个 另外 实数 那个 测量单位
No TPTP formula. May not be expressible in strict first order.	Government.kif 148-152	如果 政体 是 地缘政治区域 的 Government 的 attribute 和 那个 政体 是 政体 的 instance， 然后 %2 是 1% 的 government 类别
No TPTP formula. May not be expressible in strict first order.	Music.kif 478-482	如果 属性 是 客体 的 attribute 和 那个 属性 是 AlbumAttribute 的 instance， 然后 那个 客体 是 Album 的 instance
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners